Logic can be used as a form of knowledge representation. The facts in the domain have to expressed as atomic propositions such as author("Alan Dix", "Artificial Intelligence")
and reasoning rules as logical formulae.
Used in Chap. 2: pages 14, 16
Also known as by logic, as knowledge representation